|
|
Constructivity in computer science : proceedings / Summer Symposium... ; ed. J. P. Myers, Jr., M. J. O'Donnell
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
X, 246 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Randomness and completeness in computational complexity / Dieter van Melkebeek
Monografia
Publication
Berlin : Springer, cop. 2000
Description
XV, 196 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The design of intelligent agents : a layered approach / Jorg P. Müller
Monografia
Publication
Berlin : Springer-Verlag, cop. 1996
Description
XIV, 227 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Applications of uncertainty formalisms / ed. Anthony Hunter, Simon Parsons
Monografia
Publication
Berlin : Springer, cop. 1998
Description
VIII, 474 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in database technology - EDBT'98 / ed. Hans-Jörg Schek... [etal.]
Monografia
Publication
Berlin : Springer, cop. 1998
Description
XII, 513 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Anaphora in natural language understanding : a survey / Graeme Hirst
Monografia
Publication
Berlin : Springer-Verlag, 1981
Description
X, 128 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Concepts in user interfaces : a reference model for command and response languages / ed. David Beech
Monografia
Publication
Berlin : Springer-Verlag, 1986
Description
X, 115 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The nested universal relation database model / Mark Levene
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
177 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf
Monografia
Publication
Berlin : Springer-Verlag, cop. 1997
Description
XII, 367 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Issues in agent communication / ed. Frank Dignum, Mark Greaves
Monografia
Publication
Berlin : Springer, cop. 2000
Description
X, 350 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Communication and cooperation in agent systems : a pragmatic theory / Afsaneh Haddadi
Monografia
Publication
Berlin : Springer, 1995
Description
XIII, 148 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Using sophisticated models in resolution theorem proving / David M. Sandford
Monografia
Publication
Berlin : Springer-Verlag, 1980
Description
XI, 239 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Visualization in human-computer interaction / Interdisciplinary workshop on Informatics and Psychology ; ed. P. Gorny, M. J. Tauber
Monografia
Publication
Berlin : Springer-Verlag, 1990
Description
VI, 272 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
KI-95 : advances in artificial intelligence : proceedings / 19th Annual German Conference on Artificial Intelligence ; ed. Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer
Monografia
Publication
Berlin : Springer-Verlag, cop. 1995
Description
XII, 268 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Adaption and learning in multi-agent systems / ed. Gerhard Wei□s, Sandip Sen
Monografia
Publication
Berlin : Springer-Verlag, cop. 1996
Description
X, 238 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advanced database systems / 10th British National Conference on Databases ; ed. P. M. D. Gray, R. J. Lucas
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
X, 260 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in database technology : proceedings / 3rd International Conference on Extending Database Technology ; ed. Alain Pirotte, Claude Delobel, Georg Gottlob
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
XII, 551 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
7th International Conference on Automated Deduction : proceedings / ed. R. E. Shostak
Monografia
Publication
Berlin : Springer-Verlag, 1984
Description
VI, 508 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Database and expert systems applications / ed. Abdelkader Hameurlain, A Min Tjoa
Monografia
Publication
Berlin : Springer, cop. 1997
Description
XVII, 686 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in databases : proceedings / 15th British National Conference... ; ed. Carol Small... [et al.]
Monografia
Publication
Berlin : Springer, cop. 1997
Description
XI, 231 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|